🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔄 Session Type Inference

Protocol Synthesis, Communication Safety, Type Reconstruction, Multiparty Sessions

Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·6h·
Discuss: Hacker News
🧩WASM Modules
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1750830996145900)
dev.to·8h·
Discuss: DEV
🌐Network Protocols
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Augmenting Penetration Testing Methodology with Artificial Intelligence – Part 3: Arcanum Cyber Security Bot
blackhillsinfosec.com·25m
🕵️Penetration Testing
How To Prepare Your API for AI Agents
thenewstack.io·54m
🔌Interface Evolution
simplex-chat/simplexmq
github.com·12h
🔌Interface Evolution
Ergo IRC server
notes.billmill.org·1d
🌊Streaming Systems
[D] Applying COCONUT continuous reasoning into a learnt linear layer that produces sampling parameters (temp, top-k, top-p, etc.) for the current token?
reddit.com·1d·
Discuss: r/MachineLearning
💻Local LLMs
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·4d
🌐Protocol Synthesis
Understand MCP (Model Context Protocol) with example
dev.to·9h·
Discuss: DEV
🎙️Whisper
Conversational Intent-Driven GraphRAG: Enhancing Multi-Turn Dialogue Systems through Adaptive Dual-Retrieval of Flow Patterns and Context Semantics
arxiv.org·10h
🧮Prolog Parsing
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·10h
🌀Fractal Compression
libai: A C library for embedding Apple Intelligence on-device Foundation models in any application with full support for native tool calling and MCP.
github.com·1d·
Discuss: Hacker News, r/programming
🌀Brotli Internals
The Agentic Protocols That Will Define the Next Decade of Software
anup.io·2d·
Discuss: Hacker News
🔌Interface Evolution
Signal Use and Emergent Cooperation
arxiv.org·10h
🔲Cellular Automata
MCP Demystified: What Actually Goes Over the Wire??
hackernoon.com·2d
📟Vintage Protocols
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
Memory Safety in Web Rust System Zero Cost Secure(1750794401345600)
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
Loading...Loading more...
AboutBlogChangelogRoadmap